შეწირულობა 15 სექტემბერს 2024 – 1 ოქტომბერს 2024 თანხის შეგროვების შესახებ
1
Posthumous writings [of] Gottlob Frege

Posthumous writings [of] Gottlob Frege

Kaulbach, Friedrich, Hargreaves, Raymond, White, Roger, Frege, Gottlob, Long, Peter, Kambartel, Friedrich, Hermes, Hans
წელი:
1979
ენა:
english
ფაილი:
DJVU, 2.04 MB
0 / 0
english, 1979
2
Einführung in die mathematische Logik: Klassische Prädikatenlogik

Einführung in die mathematische Logik: Klassische Prädikatenlogik

Dr. rer. nat. Hans Hermes (auth.)
წელი:
1972
ენა:
german
ფაილი:
PDF, 6.29 MB
0 / 0
german, 1972
3
Posthumous Writings

Posthumous Writings

Gottlob Frege, Hermes, Hans, Kambartel, Friedrich, Kaulbach, Friedrich (eds), Long, Peter, White, Roger (translators)
წელი:
1979
ენა:
english
ფაილი:
DJVU, 2.85 MB
0 / 0
english, 1979
4
Rekursive Funktionen

Rekursive Funktionen

Klaus Heidler, Hans Hermes, Friedrich Mahn
წელი:
1977
ენა:
german
ფაილი:
PDF, 13.85 MB
0 / 0
german, 1977
5
Eine Termlogik mit Auswahloperator

Eine Termlogik mit Auswahloperator

Hans Hermes
წელი:
1965
ენა:
german
ფაილი:
DJVU, 200 KB
0 / 0
german, 1965
6
Eine Termlogik mit Auswahloperator

Eine Termlogik mit Auswahloperator

Hans Hermes (auth.)
წელი:
1965
ენა:
german
ფაილი:
DJVU, 256 KB
0 / 0
german, 1965
7
Numbers

Numbers

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert, John H. Ewing, H.L.S. Orde, K. Lamotke
წელი:
1991
ენა:
english
ფაილი:
PDF, 9.60 MB
0 / 0
english, 1991
8
Zahlen

Zahlen

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Lamotke, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert (auth.)
წელი:
1992
ენა:
german
ფაილი:
PDF, 14.95 MB
0 / 0
german, 1992
9
Numbers

Numbers

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert (auth.)
წელი:
1991
ენა:
english
ფაილი:
PDF, 18.77 MB
0 / 0
english, 1991
10
Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions

Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions

Hans Hermes (auth.)
წელი:
1965
ენა:
english
ფაილი:
PDF, 6.63 MB
0 / 0
english, 1965
11
Numbers

Numbers

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert, John H. Ewing, H.L.S. Orde, K. Lamotke
წელი:
1990
ენა:
english
ფაილი:
PDF, 46.17 MB
0 / 0
english, 1990
12
Introduction to Mathematical Logic

Introduction to Mathematical Logic

Dr. Hans Hermes (auth.)
წელი:
1973
ენა:
english
ფაილი:
PDF, 6.99 MB
0 / 0
english, 1973
13
Numbers

Numbers

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert, John H. Ewing, H.L.S. Orde, K. Lamotke
წელი:
1990
ენა:
english
ფაილი:
DJVU, 8.40 MB
0 / 0
english, 1990
14
Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions

Enumerability · Decidability Computability: An Introduction to the Theory of Recursive Functions

Prof. Dr. Hans Hermes (auth.)
წელი:
1969
ენა:
english
ფაილი:
PDF, 11.51 MB
0 / 0
english, 1969
16
Aufzählbarkeit Entscheidbarkeit Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen

Aufzählbarkeit Entscheidbarkeit Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen

Professor Dr. Hans Hermes (auth.)
წელი:
1978
ენა:
german
ფაილი:
PDF, 9.30 MB
0 / 0
german, 1978
17
Zahlen

Zahlen

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Lamotke, Klaus Mainzer, Jürgen Neukirch, Alexander Prestel, Reinhold Remmert (auth.)
წელი:
1988
ენა:
german
ფაილი:
PDF, 10.86 MB
0 / 0
german, 1988
18
Term Logic with Choice Operator

Term Logic with Choice Operator

Hans Hermes
წელი:
1970
ენა:
english
ფაილი:
PDF, 1.20 MB
0 / 0
english, 1970
19
Einführung in die Verbandstheorie

Einführung in die Verbandstheorie

Prof. Dr. Hans Hermes (auth.)
წელი:
1967
ენა:
german
ფაილი:
PDF, 9.18 MB
0 / 0
german, 1967
20
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der rekursiven Funktionen

Professor. Dr. Hans Hermes (auth.)
წელი:
1971
ენა:
german
ფაილი:
PDF, 7.06 MB
0 / 0
german, 1971
21
Zahlen

Zahlen

Heinz-Dieter Ebbinghaus, Hans Hermes, Friedrich Hirzebruch, Max Koecher, Klaus Mainzer, Alexander Prestel, Reinhold Remmert (auth.)
წელი:
1983
ენა:
german
ფაილი:
PDF, 22.16 MB
0 / 0
german, 1983
22
Die Rolle der Logik beim Aufbau naturwissenschaftlicher Theorien

Die Rolle der Logik beim Aufbau naturwissenschaftlicher Theorien

Hans Hermes (auth.)
წელი:
1967
ენა:
german
ფაილი:
PDF, 882 KB
0 / 0
german, 1967
23
Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der Rekursiven Funktionen

Aufzählbarkeit, Entscheidbarkeit, Berechenbarkeit: Einführung in die Theorie der Rekursiven Funktionen

Hans Hermes (auth.)
წელი:
1961
ენა:
german
ფაილი:
PDF, 8.39 MB
0 / 0
german, 1961
24
Einführung in die Verbandstheorie

Einführung in die Verbandstheorie

Hans Hermes (auth.)
წელი:
1955
ენა:
german
ფაილი:
PDF, 9.04 MB
0 / 0
german, 1955
25
Eine Termlogik mit Auswahloperator

Eine Termlogik mit Auswahloperator

Hans Hermes (auth.)
წელი:
1965
ენა:
english
ფაილი:
PDF, 2.00 MB
0 / 0
english, 1965